projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f88bfe) | patch
xen/arm: vgic: Correctly calculate GICD_TYPER.ITLinesNumber
authorJulien Grall <julien.grall@linaro.org>
Wed, 1 Apr 2015 16:21:46 +0000 (17:21 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 2 Apr 2015 09:42:35 +0000 (10:42 +0100)
commite7153f3775ed26554abbb1994832d096938f1b8a
treede08a51c805f19a37242a6c2651b193dd9618d52tree | snapshot
parent7f88bfeeea81f60c591b98af430f1bc24512d48bcommit | diff
xen/arm: vgic: Correctly calculate GICD_TYPER.ITLinesNumber

The formula of GICD_TYPER.ITLinesNumber is 32(N + 1).

As the number of SPIs suppported by the domain may not be a multiple of
32, we have to round up the number before using it.

At the same time remove the mask GICD_TYPE_LINES which is pointless.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/vgic-v2.c diff | blob | history
xen/arch/arm/vgic-v3.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.